A New Constructive Method for the One-Letter Context-Free Grammars

Constructive methods for obtaining the regular grammar counterparts for some sub-classes of the context free grammars (cfg) have been investigated by many researchers. An important class of grammars for which this is always possible is the one-letter cfg. We show in this paper a new constructive method for transforming arbitrary one-letter cfg to an equivalent regular expression of star-height 0 or 1. Our new result is considerably simpler than a previous construction by Leiss, and we also propose a new normal form for a regular expression with single-star occurrence. Through an alphabet factorization theorem, we show how to go beyond the one-letter cfg in a straight-forward way.Singapore-MIT Alliance (SMA

Incremental Verification of Timing Constraints for Real-Time Systems

Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of path RTL. To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.Singapore-MIT Alliance (SMA

Translation of the Fugl-Meyer assessment into Romanian: Transcultural and semantic-linguistic adaptations and clinical validation

PurposeThe Fugl-Meyer Assessment (FMA) scale, which is widely used and highly recommended, is an appropriate tool for evaluating poststroke sensorimotor and other possible somatic deficits. It is also well-suited for capturing a dynamic rehabilitation process. The aim of this study was to first translate the entire sensorimotor FMA scale into Romanian using the transcultural and semantic-linguistic adaptations of its official afferent protocols and to then validate it using the preliminary clinical evaluation of inter- and intra-rater reliability and relevant concurrent validity.MethodsThrough three main steps, we completed a standardized procedure for translating FMA's official afferent evaluation protocols into Romanian and their transcultural and semantic-linguistic adaptation for both the upper and lower extremities. For relevant clinical validation, we evaluated 10 patients after a stroke two times: on days 1 and 2. All patients were evaluated simultaneously by two kinesi-physiotherapists (generically referred to as KFT1 and KFT2) over the course of 2 consecutive days, taking turns in the roles of an examiner and observer, and vice versa (inter-rater). Two scores were therefore obtained and compared for the same patient, i.e., being afferent to an inter-rater assay by comparing the assessment outcomes obtained by the two kinesi-physiotherapists, in between, and respectively, to the intra-rater assay: based on the evaluations of the same kinesi-physiotherapist, in two consecutive days, using a rank-based method (Svensson) for statistical analysis. We also compared our final Romanian version of FMA's official protocols for concurrent validity (Spearman's rank correlation statistical method) to both of the widely available assessment instruments: the Barthel Index (BI) and the modified Rankin scale (mRS).ResultsSvensson's method confirmed overall good inter- and intra-rater results for the main parts of the final Romanian version of FMA's evaluation protocols, regarding the percentage of agreement (≥80% on average) and for disagreement: relative position [RP; values outside the interval of (−0.1, 0.1) in only two measurements out of the 56 comparisons we did], relative concentration [RC; values outside the interval of (−0.1, 0.1) in only nine measurements out of the same 56 comparisons done], and relative rank variation [RV; all values within an interval of (0, 0.1) in only five measurements out of the 56 comparisons done]. High correlation values were obtained between the final Romanian version of FMA's evaluation protocols and the BI (ρ = 0.9167; p = 0.0002) for FMA–upper extremity (FMA-UE) total A-D (motor function) with ρ = 0.6319 and for FMA-lower extremity (FMA-LE) total E-F (motor function) with p = 0.0499, and close to the limit, with the mRS (ρ = −0.5937; p = 0.0704) for FMA-UE total A-D (motor function) and (ρ = −0.6615; p = 0.0372) for FMA-LE total E-F (motor function).ConclusionsThe final Romanian version of FMA's official evaluation protocols showed good preliminary reliability and validity, which could be thus recommended for use and expected to help improve the standardization of this assessment scale for patients after a stroke in Romania. Furthermore, this endeavor could be added to similar international translation and cross-cultural adaptations, thereby facilitating a more appropriate comparison of the evaluation and outcomes in the management of stroke worldwide

Global age-sex-specific fertility, mortality, healthy life expectancy (HALE), and population estimates in 204 countries and territories, 1950–2019: a comprehensive demographic analysis for the Global Burden of Disease Study 2019

Background: Accurate and up-to-date assessment of demographic metrics is crucial for understanding a wide range of social, economic, and public health issues that affect populations worldwide. The Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2019 produced updated and comprehensive demographic assessments of the key indicators of fertility, mortality, migration, and population for 204 countries and territories and selected subnational locations from 1950 to 2019. Methods: 8078 country-years of vital registration and sample registration data, 938 surveys, 349 censuses, and 238 other sources were identified and used to estimate age-specific fertility. Spatiotemporal Gaussian process regression (ST-GPR) was used to generate age-specific fertility rates for 5-year age groups between ages 15 and 49 years. With extensions to age groups 10–14 and 50–54 years, the total fertility rate (TFR) was then aggregated using the estimated age-specific fertility between ages 10 and 54 years. 7417 sources were used for under-5 mortality estimation and 7355 for adult mortality. ST-GPR was used to synthesise data sources after correction for known biases. Adult mortality was measured as the probability of death between ages 15 and 60 years based on vital registration, sample registration, and sibling histories, and was also estimated using ST-GPR. HIV-free life tables were then estimated using estimates of under-5 and adult mortality rates using a relational model life table system created for GBD, which closely tracks observed age-specific mortality rates from complete vital registration when available. Independent estimates of HIV-specific mortality generated by an epidemiological analysis of HIV prevalence surveys and antenatal clinic serosurveillance and other sources were incorporated into the estimates in countries with large epidemics. Annual and single-year age estimates of net migration and population for each country and territory were generated using a Bayesian hierarchical cohort component model that analysed estimated age-specific fertility and mortality rates along with 1250 censuses and 747 population registry years. We classified location-years into seven categories on the basis of the natural rate of increase in population (calculated by subtracting the crude death rate from the crude birth rate) and the net migration rate. We computed healthy life expectancy (HALE) using years lived with disability (YLDs) per capita, life tables, and standard demographic methods. Uncertainty was propagated throughout the demographic estimation process, including fertility, mortality, and population, with 1000 draw-level estimates produced for each metric. Findings: The global TFR decreased from 2•72 (95% uncertainty interval [UI] 2•66–2•79) in 2000 to 2•31 (2•17–2•46) in 2019. Global annual livebirths increased from 134•5 million (131•5–137•8) in 2000 to a peak of 139•6 million (133•0–146•9) in 2016. Global livebirths then declined to 135•3 million (127•2–144•1) in 2019. Of the 204 countries and territories included in this study, in 2019, 102 had a TFR lower than 2•1, which is considered a good approximation of replacement-level fertility. All countries in sub-Saharan Africa had TFRs above replacement level in 2019 and accounted for 27•1% (95% UI 26•4–27•8) of global livebirths. Global life expectancy at birth increased from 67•2 years (95% UI 66•8–67•6) in 2000 to 73•5 years (72•8–74•3) in 2019. The total number of deaths increased from 50•7 million (49•5–51•9) in 2000 to 56•5 million (53•7–59•2) in 2019. Under-5 deaths declined from 9•6 million (9•1–10•3) in 2000 to 5•0 million (4•3–6•0) in 2019. Global population increased by 25•7%, from 6•2 billion (6•0–6•3) in 2000 to 7•7 billion (7•5–8•0) in 2019. In 2019, 34 countries had negative natural rates of increase; in 17 of these, the population declined because immigration was not sufficient to counteract the negative rate of decline. Globally, HALE increased from 58•6 years (56•1–60•8) in 2000 to 63•5 years (60•8–66•1) in 2019. HALE increased in 202 of 204 countries and territories between 2000 and 2019. Interpretation: Over the past 20 years, fertility rates have been dropping steadily and life expectancy has been increasing, with few exceptions. Much of this change follows historical patterns linking social and economic determinants, such as those captured by the GBD Socio-demographic Index, with demographic outcomes. More recently, several countries have experienced a combination of low fertility and stagnating improvement in mortality rates, pushing more populations into the late stages of the demographic transition. Tracking demographic change and the emergence of new patterns will be essential for global health monitoring. Funding: Bill & Melinda Gates Foundation. © 2020 The Author(s). Published by Elsevier Ltd. This is an Open Access article under the CC BY 4.0 licens

Counting for satisfiability by inverting resolution

10.1007/s10462-004-4329-2Artificial Intelligence Review224339-366AIRV

Global age-sex-specific fertility, mortality, healthy life expectancy (HALE), and population estimates in 204 countries and territories, 1950�2019: a comprehensive demographic analysis for the Global Burden of Disease Study 2019

Background: Accurate and up-to-date assessment of demographic metrics is crucial for understanding a wide range of social, economic, and public health issues that affect populations worldwide. The Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2019 produced updated and comprehensive demographic assessments of the key indicators of fertility, mortality, migration, and population for 204 countries and territories and selected subnational locations from 1950 to 2019. Methods: 8078 country-years of vital registration and sample registration data, 938 surveys, 349 censuses, and 238 other sources were identified and used to estimate age-specific fertility. Spatiotemporal Gaussian process regression (ST-GPR) was used to generate age-specific fertility rates for 5-year age groups between ages 15 and 49 years. With extensions to age groups 10�14 and 50�54 years, the total fertility rate (TFR) was then aggregated using the estimated age-specific fertility between ages 10 and 54 years. 7417 sources were used for under-5 mortality estimation and 7355 for adult mortality. ST-GPR was used to synthesise data sources after correction for known biases. Adult mortality was measured as the probability of death between ages 15 and 60 years based on vital registration, sample registration, and sibling histories, and was also estimated using ST-GPR. HIV-free life tables were then estimated using estimates of under-5 and adult mortality rates using a relational model life table system created for GBD, which closely tracks observed age-specific mortality rates from complete vital registration when available. Independent estimates of HIV-specific mortality generated by an epidemiological analysis of HIV prevalence surveys and antenatal clinic serosurveillance and other sources were incorporated into the estimates in countries with large epidemics. Annual and single-year age estimates of net migration and population for each country and territory were generated using a Bayesian hierarchical cohort component model that analysed estimated age-specific fertility and mortality rates along with 1250 censuses and 747 population registry years. We classified location-years into seven categories on the basis of the natural rate of increase in population (calculated by subtracting the crude death rate from the crude birth rate) and the net migration rate. We computed healthy life expectancy (HALE) using years lived with disability (YLDs) per capita, life tables, and standard demographic methods. Uncertainty was propagated throughout the demographic estimation process, including fertility, mortality, and population, with 1000 draw-level estimates produced for each metric. Findings: The global TFR decreased from 2·72 (95 uncertainty interval UI 2·66�2·79) in 2000 to 2·31 (2·17�2·46) in 2019. Global annual livebirths increased from 134·5 million (131·5�137·8) in 2000 to a peak of 139·6 million (133·0�146·9) in 2016. Global livebirths then declined to 135·3 million (127·2�144·1) in 2019. Of the 204 countries and territories included in this study, in 2019, 102 had a TFR lower than 2·1, which is considered a good approximation of replacement-level fertility. All countries in sub-Saharan Africa had TFRs above replacement level in 2019 and accounted for 27·1% (95% UI 26·4�27·8) of global livebirths. Global life expectancy at birth increased from 67·2 years (95% UI 66·8�67·6) in 2000 to 73·5 years (72·8�74·3) in 2019. The total number of deaths increased from 50·7 million (49·5�51·9) in 2000 to 56·5 million (53·7�59·2) in 2019. Under-5 deaths declined from 9·6 million (9·1�10·3) in 2000 to 5·0 million (4·3�6·0) in 2019. Global population increased by 25·7%, from 6·2 billion (6·0�6·3) in 2000 to 7·7 billion (7·5�8·0) in 2019. In 2019, 34 countries had negative natural rates of increase; in 17 of these, the population declined because immigration was not sufficient to counteract the negative rate of decline. Globally, HALE increased from 58·6 years (56·1�60·8) in 2000 to 63·5 years (60·8�66·1) in 2019. HALE increased in 202 of 204 countries and territories between 2000 and 2019. Interpretation: Over the past 20 years, fertility rates have been dropping steadily and life expectancy has been increasing, with few exceptions. Much of this change follows historical patterns linking social and economic determinants, such as those captured by the GBD Socio-demographic Index, with demographic outcomes. More recently, several countries have experienced a combination of low fertility and stagnating improvement in mortality rates, pushing more populations into the late stages of the demographic transition. Tracking demographic change and the emergence of new patterns will be essential for global health monitoring. Funding: Bill & Melinda Gates Foundation. © 2020 The Author(s). Published by Elsevier Ltd. This is an Open Access article under the CC BY 4.0 licens